Revision theory - PDFSEARCH.IO - Document Search Engine

Revision theory
Results: 359

#	Item
61	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:49:07 Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic Mathematics Metalogic
62	Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:39 Mathematics Propositional calculus Charles Sanders Peirce Model theory Answer set programming If and only if Forcing Stable model semantics Belief revision Logic Mathematical logic Logic programming
63	Microsoft Word - CHK_revision_finalAER.doc Add to Reading List Source URL: www.econ.ohio-state.edu Language: English - Date: 2011-12-15 19:09:29 Economics Common value auction Auction First-price sealed-bid auction Bid Experimental economics Auction theory Auctioneering Business
64	Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 19:55:52 Philosophy of science Critical thinking Belief revision Knowledge representation Logic Logic programming Plausibility structure Theory of justification Causality Epistemology Philosophy Mathematics
65	C0 Reference: Principles of Imperative Computation Frank Pfenning August 21, 2014 Compiler revision 384 (updates since January 30, 2011) Add to Reading List Source URL: c0.typesafety.net Language: English - Date: 2015-01-09 10:27:25 C programming language Data types C++ Procedural programming languages Type theory C++ classes Struct C Pointer Computing Software engineering Computer programming
66	Portrait des habitudes tabagiques, des connaissances et des croyances chez les fumeurs québécois en contexte de révision de la Loi sur le tabac Add to Reading List Source URL: dspace.ucalgary.ca Language: English - Date: 2015-03-19 05:14:31 Human behavior Behavior Behavioral addiction Problem gambling Control theory
67	Prospect Theory or Skill Signaling? Rick Harbaugh Under revision for invited resubmission to American Economic Review Abstract Failure is embarrassing. In gambles involving both skill and chance, we show that a strategic Add to Reading List Source URL: kelley.iu.edu Language: English - Date: 2010-03-28 16:55:12 Statistics Knowledge Expected utility hypothesis Risk aversion Prospect theory Allais paradox Risk Amos Tversky Uncorrelated Utility Behavioral finance Economics
68	A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:24:28 Belief revision Model theory Semantics Constructible universe Interpretation Symbol Entailment Logic Logic programming Knowledge representation
69	J. P. Delgrande A. C. Nayak M. Pagnucco Gricean Belief Change Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-10-14 12:12:41 Knowledge representation Interpretation Constructible universe Science Artificial intelligence Linear temporal logic Logic Model theory Belief revision
70	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic

UPDATE